OPERANDS AND INSTANCES

Abstract Can conjunctive propositions be identical without their conjuncts being identical? universally quantified instances On a common conception of propositions, on which they inherit the logical structure sentences express them, answer is negative both times. Here, it will shown that such to questions inconsistent, assuming standard type-theoretic formalization theorizing about propositions. The result not specific conjunction and universal quantification, but applies any binary operator propositional quantifier. It also essentially arises out giving questions, as each consistent by itself.